Recent years have seen a resurgence of interest in the doctrine of purgatory among Christian philosophers. Some of these philosophers argue for the existence of purgatory from principles consistent with historic Protestant theology and then attempt, on the basis of those principles, to formulate a distinctively Protestant view of purgatory—i.e., one that differs essentially from the Catholic doctrine as regards purgatory’s raison d’etre. Here I aim to show that Protestant models of purgatory which are grounded in the necessity of becoming (...) fully sanctified before entering heaven (Sanctification Models) fail to contrast materially with the Catholic model of purgatory, which has historically been formulated in terms of the necessity of making satisfaction for sins already forgiven (The Satisfaction Model). Indeed, I shall argue that contrary to widespread assumption, the Sanctification Model and the Satisfaction Modelare equivalent when the latter is properly understood. (shrink)

Recent discussions of physicalism have focused on the question how the physical ought to be characterized. Many have argued that any characterization of the physical should include the stipulation that the physical is non-mental, and others have claimed that a systematic substitution of ‘non-mental’ for ‘physical’ is all that is needed for philosophical purposes. I argue here that both claims are incorrect: substituting ‘non-mental’ for ‘physical’ in the causal argument for physicalism does not deliver the physicalist conclusion, and the specification (...) that the physical is non-mental is irrelevant to the task of formulating physicalism as a substantive, controversial thesis. (shrink)

John Martin Fischer and Mark Ravizza have constructed a theory of moral responsibility according to which agents are responsible only if they take responsibility in a particular way. Crucial to taking responsibility is coming to adopt a certain set of beliefs about oneself, such as the belief that one is a legitimate target of attitudes like gratitude and resentment, praise and blame. Moreover, agents must come to adopt this belief in a way that is ‘appropriately based’ upon their evidence, if (...) they are to be genuinely responsible for what they do. In this paper I argue that agents need not meet these conditions in order to be morally responsible. I offer a case in which the agent thinks of himself as responsible, appears to be responsible, but fails to take responsibility in Fischer and Ravizza’s sense. I then argue that Fischer and Ravizza’s account of responsibility for consequences is in conflict with their contention that individuals who reject the justifiability of responsibility ascriptions fail, thereby, to be morally responsible agents. (shrink)

(Forthcoming in Religious Studies) Abstract I argue that the Free Will Defence need not presuppose a libertarian conception of freedom and therefore need not beg the question against compatibilists. I present three versions of theological determinism, each of which is inconsistent with freedom on compatibilist-friendly principles, and then argue that what generates the inconsistency – viz., that (i) God intentionally necessitates all human actions and (ii) no human has it within their power to causally influence God’s will – is entailed (...) by any version of theological determinism. Contrary to widespread opinion, therefore, the viability of the Free Will Defence does not depend upon the viability of libertarianism per se but on the falsity of theological determinism. (shrink)

John Martin Fischer and Mark Ravizza offer a theory of moral responsibility which makes responsibility dependent upon the way in which moral agents view themselves. According to the theory, agents are responsible for their actions only if they think of themselves as apt candidates for praise and blame; if they come to believe they are not apt candidates for praise and blame, they are ipso facto not morally responsible. In what follows, I show that Fischer and Ravizza’s account of responsibility (...) for consequences is inconsistent with this subjective element of their theory, and that the subjective element may be retained only if they are willing to implausibly restrict their account of responsibility for consequences. I end by discussing the broad significance of the failure of the subjective element for their overall approach to moral responsibility. (shrink)

There is an intriguing recent effort to develop a valid cosmological argument on the basis of quite minimal assumptions.1 Indeed, the basis of the new cosmological argument is so slight that it is likely to make even a conscientious theist suspicious – to say nothing of our vigilant atheists. In Section 1 we present the background assumptions and central premises of the new cosmological argument. We are sympathetic to the conclusion that there necessarily exists an intelligent and powerful creator of (...) the actual universe, but we show in Section 2 that the new cosmological argument cannot establish this claim. Specifically, we show by reductio ad absurdum that the new argument is unsound, and that every plausibly modified version of the argument is also unsound.2 We close our discussion with a diagnosis of what went wrong in the new cosmological argument. Our conclusion is that this intriguing new argument promises considerably more than it can show. (shrink)

I argue here that God, as Molinism conceives Him, is complicit in moral evil. This is of course a problem because complicity in evil undermines divine perfection. I argue, however, that it is a problem that Open Theism, as a theory of “general” (as opposed to “meticulous”) providence, avoids. This claim opposes that of Neal Judisch, who has recently (2012) argued that theories of general providence (e.g., Open Theism) are in no better position to answer the problem of (...) gratuitous evil (i.e., the evidential problem of evil) than theories of meticulous providence (e.g., Molinism or Calvinism). Here, Judisch draws on important insights about just what these theories involve in terms of gratuitous evil to diffuse what he calls “the argument for divine complicity.” In response, I offer a reformulation of this argument that is immaterial to the question of gratuitous evil. I then explain why my argument does not convict an Open Theist God and, in the course of doing so, I consider whether an application of the doctrine of double effect exonerates a Molinist God as well. (shrink)

Control-based models of moral responsibility typically employ a notion of "tracing," according to which moral responsibility requires an exercise of control either immediately prior to the behavior in question or at some suitable point prior to the behavior. Responsibility, on this view, requires tracing back to control. But various philosophers, including Manuel Vargas and Angela Smith, have presented cases in which the plausibility of tracing is challenged. In this paper we discuss the examples and we argue that they do not (...) in fact impugn an attractive and natural tracing component. Our discussion can function in part as a defense of a control-based account of moral responsibility, but also as simply a defense of tracing. (shrink)

Our aim in this paper is to put the concept of moral responsibility under a microscope. At the lowest level of magnification, it appears unified. But Gary Watson has taught us that if we zoom in, we will find that moral responsibility has two faces: attributability and accountability. Or, to describe the two faces in different terms, there is a difference between being responsible and holding responsible. It is one thing to talk about the connection the agent has with her (...) action; it is quite another to talk about the potential interaction the agent might have with her moral community. It turns out, though, that the faces of moral responsibility can themselves be viewed under an even higher level of magnification. If moral responsibility has two faces, then our aim in this paper is to examine their features. To do so reveals subtle distinctions in our concept of moral responsibility and its interaction with surrounding issues that, we argue, can help illuminate various debates in the literature. (shrink)

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in which (...) the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

Several theorists (Merricks, Westphal, and McCall) have recently claimed to offer a novel way to respond to the dilemma of freedom and foreknowledge, rooted in Molina's insight that God's beliefs depend on what we do, rather than the other way around. In this paper we argue that these responses either beg the question, or else are dressed-up versions of Ockhamism.

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

The gamer’s dilemma, initially proposed by Luck (Ethics and Information Technology 11(1):31–36, 2009) posits a moral comparison between in-game acts of murder and in-game acts of paedophilia within single-player videogames. Despite each activity lacking the obvious harms of their real-world equivalents, common intuitions suggest an important difference between them. Some responses to the dilemma suggest that intuitive responses to the two cases are based on important differences between the acts themselves or their social meaning. Others challenge the fundamental assumptions of (...) the dilemma. In this paper, we identify and explore key imaginative and emotional differences in how certain types of in-game violence are experienced by players, consider how these differences factor into the moral lives of players, and use these insights to resolve the dilemma. The view we develop is that the key moral emotion in offensive video gameplay is self-repugnance. This is not repugnance of the act one directs a game character to perform in the game, nor repugnance of the character one plays. It is repugnance of oneself in playing the game. If self-repugnance is a fitting emotional response to playing a videogame, then this is prima facie grounds for thinking it is wrong to play the videogame. Our approach to the gamer’s dilemma is to distinguish the fittingness conditions of self-repugnance from the fittingness conditions of other moral emotions as they pertain to playing videogames. We argue that because of the virtual character of the actions performed in video games, self-repugnance is a fitting response to particular kinds of offensive gameplay. On the other hand, in-game murder is not invariably a fitting ground for self-repugnance. We argue that this difference is grounded in imaginative responses to the harm of death and the harms of profound suffering. Our task is to explain and justify this difference in fittingness conditions and use this to resolve the gamer’s dilemma. (shrink)

This article aims to dualize several results concerning various types (including possibly Cut-free and Identity-free systems) of canonical multiple-conclusion sequent calculi, i.e. Gentzen-style deduction systems for sequents, equipped with well-behaved forms of left and right introduction rules for logical expressions. In this opportunity, we focus on a different kind of calculi that we dub cocanonical, that is, Gentzen-style deduction systems for sequents, equipped with well-behaved forms of left and right elimination rules for logical expressions. These systems, simply put, have rules (...) that proceed from sequents featuring complex formulas to sequents featuring their component subformulas. Our main goals are to prove soundness and completeness results for the target systems’ consequence relations in terms of their characteristic 3- or 4-valued non-deterministic matrices. (shrink)

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...) our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

In this paper we explore the connections between ethics and decision theory. In particular, we consider the question of whether decision theory carries with it a bias towards consequentialist ethical theories. We argue that there are plausible versions of the other ethical theories that can be accommodated by “standard” decision theory, but there are also variations of these ethical theories that are less easily accommodated. So while “standard” decision theory is not exclusively consequentialist, it is not necessarily ethically neutral. Moreover, (...) even if our decision-theoretic models get the right answers vis-`a-vis morally correct action, the question remains as to whether the motivation for the non-consequentialist theories and the psychological processes of the agents who subscribe to those ethical theories are lost or poorly represented in the resulting models. (shrink)

This paper provides a novel reconstruction of Kant’s argument for transcendental idealism in the Transcendental Aesthetic. This reconstruction relies on two main contentions: first, that Kant accepts the then-ubiquitous view that all cognition is either from grounds or consequences, a view he props up by drawing a distinction between logical and real grounds; second, that Kant, like most of his contemporaries, holds that our representations are the most immediate grounds of our cognition. By stressing these elements, the most threatening objection (...) to Kant’s argument can be avoided, namely, the claim that Kant ignores the possibility that our representations of space and time are subjective in origin, but objective as regards their applicability. My reconstruction shows that this so-called neglected alternative objection is based on a conceptual confusion about the nature of a priori cognition. (shrink)

In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e. when there is both evidence in favor of A and evidence in favor of ￢A) both A and ￢A should be accepted without thereby accepting any proposition B whatsoever. Hence, reasoning within their system intends to mirror, and thus, should be constrained by, the way in which we reason (...) about evidence. In this article we will thoroughly discuss their position and suggest some ways in which this project can be further developed. The aim of the paper is twofold. On the one hand, we will present some philosophical critiques to the specific epistemic interpretation of paraconsistent logic proposed by Carnielli & Rodrigues. First, we will contend that Carnielli & Rodrigues’s interpretation implies a thesis about what evidence rationally justifies to accept or believe, called Extreme Permissivism, which is controversial among epistemologists. Second, we will argue that what agents should do, from an epistemic point of view, when faced with conflicting evidence, is to suspend judgment. On the other hand, despite these criticisms we do not believe that the epistemological motivation put forward by Carnielli & Rodrigues is entirely wrong. In the last section, we offer an alternative way in which one might account for the epistemic rationality of accepting contradictions and, thus, for an epistemic understanding of paraconsistency, which leads us to discuss the notion of diachronic epistemic rationality. (shrink)

Central to Fischer and Ravizza's theory of moral responsibility is the concept of guidance control, which involves two conditions: (1) moderate reasons-responsiveness, and (2) mechanism ownership. We raise a worry for Fischer and Ravizza's account of (1). If an agent acts contrary to reasons which he could not recognize, this should lead us to conclude that he is not morally responsible for his behaviour; but according to Fischer and Ravizza's account, he satisfies the conditions for guidance control and is therefore (...) morally responsible. We consider ways in which the account of guidance control might be mended. (shrink)

In his recent book on the problem of evil, Peter van Inwagen argues that both the global and local arguments from evil are failures. In this paper, we engagevan Inwagen’s book at two main points. First, we consider his understanding of what it takes for a philosophical argument to succeed. We argue that while his criterion for success is interesting and helpful, there is good reason to think it is too stringent. Second, we consider his responses to the global and (...) local arguments from evil. We argue that although van Inwagen may have adequately responded to each of these arguments, his discussion points us toa third argument from evil to which he has yet to provide a response. (shrink)

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (iii) (...) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

Unlike the first generation of critical theorists, contemporary critical theory has largely ignored technology. This is to the detriment of a critical theory of society – technology is now a central feature of our daily lives and integral to the contemporary form of capitalism. Rather than seek to rescue the first generation’s substantive theory of technology, which has been partly outmoded by historical developments, the approach adopted in this article is to engage with today’s technology through the conceptual apparatus offered (...) by the early Frankfurt School. This rationale is guided by the conviction that the core ideas of critical theory still offer a sound basis for assessing the nature of technology today. Through a reconstruction and engagement with some of the core concepts of first-generation critical theory, as well as the work of Bernard Stiegler and Andrew Feenberg, we can arrive at a more robust theory of technology, capable of critically interrogating the role of technology in contemporary society. (shrink)

In a fascinating recent article, Michael Otsuka seeks to bypass the debates about the Principle of Alternative Possibilities by presenting and defending a different, but related, principle, which he calls the “Principle of Avoidable Blame.” According to this principle, one is blameworthy for performing an act only if one could instead have behaved in an entirely blameless manner. Otsuka claims that although Frankfurt-cases do undermine the Principle of Alternative Possibilities, they do not undermine the Principle of Avoidable Blame. In this (...) brief paper, we offer a critical discussion of the core of Otsuka’s argument, especially the claim that his favored principle cannot be refuted by Frankfurt-cases. We do not believe that Otsuka has offered good reason to suppose that the Principle of Avoidable Blame—and the related incompatibilism—fares any better than the original Principle of Alternative Possibilities. (shrink)

Our focus in this chapter will be the role the pride has played, both historically and contemporarily, in Christian theology and philosophical theology. We begin by delineating a number of different types of pride, since some types are positive (e.g., when a parent tells a daughter “I’m proud of you for being brave”), and others are negative (e.g., “Pride goes before a fall”) or even vicious. We then explore the role that the negative emotion and vice play in the history (...) of Christianity, with particular attention to a number of influential figures. We conclude by exploring how pride connects with a number of other central issues in Christian theology. (shrink)

Within the Computer Science community, many ethical issues have emerged as significant and critical concerns. Computer ethics is an academic field in its own right and there are unique ethical issues associated with information technology. It encompasses a range of issues and concerns including privacy and agency around personal information, Artificial Intelligence and pervasive technology, the Internet of Things and surveillance applications. As computing technology impacts society at an ever growing pace, there are growing calls for more computer ethics content (...) to be included in Computer Science curricula. In this paper we present the results of a survey that polled faculty from Computer Science and related disciplines about teaching practices for computer ethics at their institutions. The survey was completed by respondents from 61 universities across 23 European countries. Participants were surveyed on whether or not computer ethics is taught to Computer Science students at each institution, the reasons why computer ethics is or is not taught, how computer ethics is taught, the background of staff who teach computer ethics and the scope of computer ethics curricula. This paper presents and discusses the results of the survey. (shrink)

For a free filter F on $$\omega $$ ω, endow the space $$N_F=\omega \cup \{p_F\}$$ N F = ω ∪ { p F }, where $$p_F\not \in \omega $$ p F ∉ ω, with the topology in which every element of $$\omega $$ ω is isolated whereas all open neighborhoods of $$p_F$$ p F are of the form $$A\cup \{p_F\}$$ A ∪ { p F } for $$A\in F$$ A ∈ F. Spaces of the form $$N_F$$ N F constitute the (...) class of the simplest non-discrete Tychonoff spaces. The aim of this paper is to study them in the context of the celebrated Josefson–Nissenzweig theorem from Banach space theory. We prove, e.g., that, for a filter F, the space $$N_F$$ N F carries a sequence $$\langle \mu _n:n\in \omega \rangle $$ ⟨ μ n : n ∈ ω ⟩ of normalized finitely supported signed measures such that $$\mu _n(f)\rightarrow 0$$ μ n ( f ) → 0 for every bounded continuous real-valued function f on $$N_F$$ N F if and only if $$F^*\le _K{\mathcal {Z}}$$ F ∗ ≤ K Z, that is, the dual ideal $$F^*$$ F ∗ is Katětov below the asymptotic density ideal $${\mathcal {Z}}$$ Z. Consequently, we get that if $$F^*\le _K{\mathcal {Z}}$$ F ∗ ≤ K Z, then: (1) if X is a Tychonoff space and $$N_F$$ N F is homeomorphic to a subspace of X, then the space $$C_p^*(X)$$ C p ∗ ( X ) of bounded continuous real-valued functions on X contains a complemented copy of the space $$c_0$$ c 0 endowed with the pointwise topology, (2) if K is a compact Hausdorff space and $$N_F$$ N F is homeomorphic to a subspace of K, then the Banach space C(K) of continuous real-valued functions on K is not a Grothendieck space. The latter result generalizes the well-known fact stating that if a compact Hausdorff space K contains a non-trivial convergent sequence, then the space C(K) is not Grothendieck. (shrink)

How people refer to objects in the world, how people comprehend reference, and how children acquire an understanding of and an ability to use reference.

In this article, I take on a classic objection to Kant’s arguments in the Antinomy of Pure Reason: that the arguments are question-begging, as they draw illicit inferences from claims about representation to claims about reality. While extant attempts to vindicate Kant try to show that he does not make such inferences, I attempt to vindicate Kant’s arguments in a different way: I show that, given Kant’s philosophical backdrop, the inferences in question are not illicit. This is because the transcendental (...) realists that Kant was arguing against have certain philosophical commitments about the nature of ground which, if true, warrant the inferences that Kant draws. This historical corrective not only allows us to better understand Kant’s own thinking in the Antinomies but it also has important upshots for our understanding of Kant’s transcendental idealism. (shrink)

Agouti expression during the middle portion of the mouse hair growth cycle induces melanocytes to synthesize yellow instead of black pigment, generating black hairs with a yellow band. Dominant agouti alleles increase the amount of yellow pigment in the coat and are associated with pleiotropic effects including obesity, diabetes and increased tumor susceptibility. Four dominant agouti alleles (Aiapy, Aiy, Asy and Avy) were recently shown to result from insertions that cause ubiquitous expression of chimeric transcripts encoding a wild‐type agouti protein(1,2). (...) Three insertions were identified as intracisternal A‐particles, which helps explain the variable coat colors and parental imprinting effects associated with some dominat agouti alleles. (shrink)

In our paper, "Omniscience, Freedom, and Dependence" (Philosophy and Phenomenological Research 88: 346-367), we argued that recent attempts (by Merricks, McCall, and Westphal) to resolve the dilemma of freedom and foreknowledge fail because they are question-begging. Westphal replied to our paper in an earlier issue of Analysis, and this article is our rejoinder to his reply.

Clinical trials in emergency situations present unique challenges, because they involve enrolling individuals who lack capacity to consent in the context of acute illness or injury. The US Department of Health and Human Services and Food and Drug Administration regulations allowing an Exception from Informed Consent in these circumstances contain requirements for community consultation, public disclosure and restrictions on study risks and benefits. In this paper, we analyse an issue raised in the regulations that has received little attention or analysis (...) but is ethically complex. This challenge is when to solicit and honour objections to EFIC trial enrolment, including from non-legally appointed representatives. We address novel questions involving whose objections should be honoured, what level of understanding is necessary for objections to be considered valid and how hard investigators should work to offer an opportunity to object. We present a set of criteria that provide conceptual and practical guidance. We argue that objections should be honoured if they undermine one of the key assumptions that allows for the permissibility of EFIC trials: that individuals would likely not object to enrolment based on their values or preferences. We then clarify the practical implications of this approach through examination of three cases of refusal in an EFIC study. (shrink)

ABSTRACT One of the core issues where interpreters of Kant disagree concerns his alleged Noumenalism—the claim that the objects of our experience, which are in space and time, are underpinned by entities that are not spatio-temporal and that non-spatio-temporally cause our representations of empirical objects. Although there is much textual evidence in favour of Noumenalism, non-Noumenalists have also gathered a significant number of philosophical and exegetical challenges to such a reading of Kant. I present a novel way of understanding the (...) Noumenalist view, which characterises the distinction between appearances and things in themselves as the distinction between referents and truthmakers. I show that, on this interpretation of Kant, the most pressing problems for the Noumenalist reading are primarily based on equivocations between features of reference and features of truthmaking. (shrink)

By exhibiting a violation of a novel form of the Bell-CHSH inequality, \.{Z}ukowski has recently established that the quantum correlations exploited in the standard perfect teleportation protocol cannot be recovered by any local hidden variables model. Allowing the quantum channel state in the protocol to be given by any density operator of two spin-1/2 particles, we show that a violation of a generalized form of \.{Z}ukowski's teleportation inequality can only occur if the channel state, considered by itself, violates a Bell-CHSH (...) inequality. On the other hand, although it is sufficient for a teleportation process to have a nonclassical fidelity---defined as a fidelity exceeding $2/3$---that the channel state employed violate a Bell-CHSH inequality, we show that such a violation does \emph{not} imply a violation of \.{Z}ukowski's teleportation inequality or any of its generalizations. The implication does hold, however, if the fidelity of the teleportation exceeds $2/3(1+1/2\sqrt{2})\approx .90$, suggesting the existence of a regime of nonclassical values of the fidelity, less than $.90$, for which the standard teleportation protocol can be modelled by local hidden variables. (shrink)

Counterfactual thinking may be described as disciplined, realistic, and rational, but we move a step further to describe a theoretical perspective centering on behavior regulation. According to this perspective, counterfactual thinking primarily centers on coordination of ongoing behavior. In short, most “if only” thoughts in daily life center on the acquisition of goals; hence, counterfactual thinking may be illuminated by considering the large literature on goal cognition.